Pattern Language for Specification of Communication Protocols
نویسندگان
چکیده
This paper presents the pattern language for specification of communication protocols. The pattern language contains four levels which are used to specify communication protocol and its messages. These four levels of this pattern language are: high-level protocol specification, protocol structure specification, message specification, and detailed message specification. Several existing patterns, e.g. the Layers, are used together with new ones to specify protocol structure. Patterns for communication protocol messages are most important part of this pattern language, and also most important part of any communication protocol specification.
منابع مشابه
A Pattern Language for Communication Protocols
In this paper, we suggest a pattern language, a collection of related design patterns, for the development of communication protocols with an emphasis on an SDL (Specification and Description Language) implementation. The patterns are grouped in two categories: structural patterns and behavioral patterns. The structural patterns are focused on the architectural aspects of communication protocol...
متن کاملPattern Language for Architecture of Protocol Systems
This paper presents the pattern language for architecture of communication protocols. This is a pattern language that aids a developer faced with the task of designing a networked system for the very first time. The pattern language has to parts: one for communication protocol specification and one for communication protocol design. The part for communication protocol specification contains pat...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملProtocol Engineering Applied to Formal Analysis of Security Systems
Every communication system requiring security properties is certainly critical. In order to study the security of communication systems, we have developed a methodology for the application of the formal analysis techniques of communication protocols to the analysis of cryptographic ones. We have extended the design and analysis phases with security properties. Our methodology uses a specificati...
متن کاملPattern-based Configuring of a Customized Resource Reservation Protocol with SDL
Due to the large variety of modern applications and evolving network technologies, a small number of general-purpose protocol stacks will no longer be sufficient. Rather, customization of communication protocols will play a major role. In this paper, we present an approach that has the potential to substantially reduce the effort for designing customized protocols. Our approach is based on the ...
متن کامل